(set-logic NRA)
(set-option :model_validate true)
(set-option :rewriter.arith_ineq_lhs true)
(set-option :nlsat.reorder false)
(declare-const r1 Real)
(declare-const r2 Real)
(declare-const r4 Real)
(declare-const r5 Real)
(declare-const r6 Real)
(declare-const r7 Real)
(assert (exists ((q0 Real) (q1 Bool) (q2 Real) (q3 Bool)) (= (- (* r4 r2 r1 r2)) (* r5 r6 0.7044 r1 r7))))
(assert (<= 0.0 0.0 0.0 r1 r2))
(check-sat)